Proof of (1 cos x)